Computer Systems Research Group - PDFSEARCH.IO - Document Search Engine

Computer Systems Research Group
Results: 110

#	Item
31	NEWSLETTER - CALL FOR SUBMISSIONS ACM Computers and Society – General Issue Newsletter Submission Deadline: April 15, 2015 Expected Publication Date: June 15, 2015 SIGCAS is the ACM Special Interest Group on Computers Add to Reading List Source URL: www.sigcas.org Language: English - Date: 2015-01-20 02:10:43 Competitions Digital media Electronic submission Grants Research Conference on Human Factors in Computing Systems LaTeX Peer review Computer ethics Science Knowledge Academia
32	X GEO Plenary Session Session 6. Thursday, 16/1. 8h:30 Intervention (Brazil) Madam Chair, Add to Reading List Source URL: www.earthobservations.org Language: English - Date: 2014-01-29 04:17:58 Computer vision Geography Cartography Global Earth Observation System of Systems Brazilian space program Group on Earth Observations National Institute for Space Research SPRING Deforestation Remote sensing Earth Geographic information systems
33	Distributed Dynamical Omnicast Routing Felix Schill Uwe R. Zimmer Research School of Information Sciences and Engineering, Autonomous Underwater Robotics Research Group, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:03 Node Routing Computer cluster Chord Computing Distributed data storage Computer networking
34	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:14 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
35	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:15 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
36	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
37	The Face in Activity Analysis and Gesture Interfaces Alejandro Jaimes FXPAL Japan, Corporate Research Group, Fuji Xerox Co., Ltd., Japan ABSTRACT In this paper we discuss two systems we have developed and Add to Reading List Source URL: www.bartneck.de Language: English - Date: 2008-03-08 09:00:31 Systems psychology Gesture recognition Computing Human–computer interaction User interface Gesture Ergonomics Posture Pointing device gesture User interface techniques Virtual reality Humanâ€“computer interaction
38	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
39	Privacy Risk Models for Designing Privacy-Sensitive Ubiquitous Computing Systems Jason I. Hong, Jennifer D. Ng, Scott Lederer Group for User Interface Research Computer Science Division University of California, Berkeley Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-06-03 15:58:25 Internet privacy Information privacy Threat FTC Fair Information Practice Biometrics Institute Privacy International Privacy Ethics Computing
40	Membrane systems as a rule based modelling framework for multi-compartmental stochastic and discrete systems Agustín Riscos-Núñez Research Group on Natural Computing Department of Computer Science and Artificial Intel Add to Reading List Source URL: www.math.utu.fi Language: English - Date: 2014-10-07 08:49:24 Applied mathematics Ethology Membrane computing Computer simulation Natural computing P system Simulation Scientific modelling Models of computation Scientific modeling Science